formal integration

[计] 形式完整性